Solving Set Constraint Satisfaction Problems using ROBDDs

In this paper we present a new approach to modeling finite set domain constraint problems using Reduced Ordered Binary Decision Diagrams (ROBDDs). We show that it is possible to construct an efficient set domain propagator which compactly represents many set domains and set constraints using ROBDDs. We demonstrate that the ROBDD-based approach provides unprecedented flexibility in modeling constraint satisfaction problems, leading to performance improvements. We also show that the ROBDD-based modeling approach can be extended to the modeling of integer and multiset constraint problems in a straightforward manner. Since domain propagation is not always practical, we also show how to incorporate less strict consistency notions into the ROBDD framework, such as set bounds, cardinality bounds and lexicographic bounds consistency. Finally, we present experimental results that demonstrate the ROBDD-based solver performs better than various more conventional constraint solvers on several standard set constraint problems

Insulation for cryogenic tanks has reduced thickness and weight

Dual seal insulation, consisting of an inner layer of sealed-cell Mylar honeycomb core and an outer helium purge channel of fiber glass reinforced phenolic honeycomb core, is used as a thin, lightweight insulation for external surfaces of cryogenic-propellant tanks

Supermonads: one notion to bind them all

Several popular generalizations of monads have been implemented in Haskell. Unfortunately, because the shape of the associated type constructors do not match the standard Haskell monad interface, each such implementation provides its own type class and versions of associated library functions. Furthermore, simultaneous use of different monadic notions can be cumbersome as it in general is necessary to be explicit about which notion is used where. In this paper we introduce supermonads: an encoding of monadic notions that captures several different generalizations along with a version of the standard library of monadic functions that work uniformly with all of them. As standard Haskell type inference does not work for supermonads due to their generality, our supermonad implementation is accompanied with a language extension, in the form of a plugin for the Glasgow Haskell Compiler (GHC), that allows type inference for supermonads, obviating the need for manual annotations

Working group written presentation: Trapped radiation effects

The results of the Trapped Radiation Effects Panel for the Space Environmental Effects on Materials Workshop are presented. The needs of the space community for new data regarding effects of the space environment on materials, including electronics are listed. A series of questions asked of each of the panels at the workshop are addressed. Areas of research which should be pursued to satisfy the requirements for better knowledge of the environment and better understanding of the effects of the energetic charged particle environment on new materials and advanced electronics technology are suggested

Coinductive soundness of corecursive type class resolution

This work has been supported by the EPSRC grant “Coalgebraic Logic Programming for Type Inference” EP/K031864/1-2, EU Horizon 2020 grant “RePhrase: Refactoring Parallel Heterogeneous Resource-Aware Applications - a Software Engineering Approach” (ICT-644235), and by COST Action IC1202 (TACLe), supported by COST (European Cooperation in Science and Technology)Horn clauses and first-order resolution are commonly used to implement type classes in Haskell. Several corecursive extensions to type class resolution have recently been proposed, with the goal of allowing (co)recursive dictionary construction where resolution does not terminate. This paper shows, for the first time, that corecursive type class resolution and its extensions are coinductively sound with respect to the greatest Herbrand models of logic programs and that they are inductively unsound with respect to the least Herbrand models. We establish incompleteness results for various fragments of the proof system.Postprin

Performance of a three-stage membrane bioprocess treating the organic fraction of municipal solid waste and evolution of its archaeal and bacterial ecology

A novel three-stage bioprocess achieved 75% volatile solids (VS) removal at an organic loading rate (OLR) of 4 g VS L−1 day, a solids retention time (SRT) of 66 days, a hydraulic retention time (HRT) of 20 days, at a temperature of 35 °C. The bioprocess consisted of an anaerobic hydrolytic reactor (HR) where the solids and liquid fractions of the Organic Fraction of the Municipal Solid Waste (OFMSW) were separated with a mesh. The leachate was pumped to a Submerged Anaerobic Membrane Bioreactor (SAMBR) and the treated permeate was polished in an Aerobic Membrane Bioreactor (AMBR). Denaturing Gradient Gel Electrophoresis (DGGE) and DNA sequencing analyses indicated that the increase in methane content in the HR caused by the excess sludge recycle from the SAMBR was associated with an increase in the number of hydrogenotrophic species, mainly Methanobrevibacter sp., Methanobacterium formicicum and Methanosarcina sp. At 20°C VS removal dropped to 50% in the HR and some DGGE bands disappeared when compared to 35°C samples, while some bands such as the one corresponding to Ruminococcus flavefaciens were reduced in intensity. The species associated with the COD-polishing properties of the AMBR correspond to the genera Pseudomonas, Hyphomonas and Hyphomicrobiaceae. These results highlight the positive effect of recycling the excess sludge from the SAMBR to re-inoculate the HR with hydrogenotrophic species

Evaluation of Extent and Bioavailability of Chromium Contamination Near an Abandoned Strip Mine

Chromium is a potentially toxic element to plants and animals commonly associated with serpentine and anthropogenic sources. An abandoned Cr strip-mine at US National Guard Camp SLO, CA containing serpentinitic parent material was tested for total and bioavailable Cr in the soil and overlying vegetation via US EPA Methods 3050a (Total Cr) and 1311 (Total Characteristic Leaching Procedure, TCLP) (US EPA, 1995), respectively. The analysis of total and bioavailable Cr was used to assess the risk of nearby surface and groundwater contamination and to evaluate the site’s need for remediation. In addition, trends in soil Cr levels with respect to slope position and sampling transect were identified. Total and most bioavailable Cr concentrations in plants were below the method detection limits (TotalMDL = 0.12 mg L-1; TCLPMDL = 0.04 mg L-1), suggesting the Cr was immobile and not bioavailable. The average total Cr level was 403.5 +/- 177.6 mg kg-1, significantly below the background total Cr level of 829.4 +/- 213.6 mg kg-1. Based on Chromium’s immobility, and its low levels in the site relative to background concentrations, remediation practices were not recommended. No significant trends were observed in total soil Cr levels along any transect or between sampled slope positions. The information gained from this was used by Camp SLO officers to assess the threat of Cr mobility and bioavailability in the soils at this site, as well as in nearby waterways and ground water